Lift Contractions Petr A. Golovach 1 School of Engineering and Computing Sciences University of Durham, United Kingdom Marcin Kami´

Source URL: rutcor.rutgers.edu

The Preservation Properties of Positive Horn Logic Barnaby Martin Department of Computer Science, University of Durham, Durham DH1 3LE, UK. Florent Madelaine

Source URL: www.bedewell.com

Large scale geometry of automorphism groups Christian Rosendal, University of Illinois at Chicago Permutation groups and transformation semigroups, Durham, July 2015

Source URL: www.maths.dur.ac.uk

Department of Sociology, Box 90088, Duke University, Durham, nc 

Source URL: kieranhealy.org

First-Order Model Checking Problems Parameterized by the Model? Barnaby Martin Department of Computer Science, University of Durham, Science Labs, South Road, Durham DH1 3LE, U.K.

Source URL: www.bedewell.com

Lucky Factors Campbell R. Harvey Duke University, Durham, NCUSA National Bureau of Economic Research, Cambridge, MAUSA Yan Liu∗

Source URL: www.cb.cityu.edu.hk

The complexity of positive first-order logic without equality II: The four-element case Barnaby Martin1? and Jos Martin2 1 School of Engineering and Computing Sciences, Durham University,

Source URL: www.bedewell.com

• Computational complexity theory
• Complexity classes
• Theory of computation
• FO
• PSPACE
• IP
• NP
• P
• Reduction
• Homomorphism
• SO

Technology, Policy and Management Faculty Overview “Comprehensive Engineering in pursuit

Source URL: intranet.tudelft.nl

• Delft University of Technology
• Faculty of Technology
• Policy and Management
• Engineering management
• Systems engineering
• Master of Science in Management
• Education
• Academia
• Economy
• Durham Energy Institute
• CITY College
• International Faculty of the University of Sheffield

A Case for Buffer Servers Darrell Anderson, Ken Yocum, and Jeff Chase Department of Computer Science Duke University Durham, NCanderson, grant, chase @cs.duke.edu

Source URL: www.cs.duke.edu

• Computing
• Computer architecture
• Data management
• Network file systems
• Distributed data storage
• Computer storage devices
• Cache
• File server
• Storage area network
• Clustered file system
• Computer data storage
• Server

New Geometric Representations and Domination Problems on Tolerance and Multitolerance Graphs∗ Archontia C. Giannopoulou and George B. Mertzios School of Engineering and Computing Sciences, Durham University, UK archont

Source URL: community.dur.ac.uk

• Graph theory
• NP-complete problems
• Graph coloring
• Dominating set
• Graph
• Chordal graph
• Pathwidth
• Trapezoid graph